omitting types theorem

型省略定理